1. Satisfiability problem
پدیدآورنده : / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
2. Satisfiability problem :
پدیدآورنده : Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
